Ortho-Bases and Monotonic Properties

Verification of non-monotonic knowledge bases

Ž . Non-monotonic Knowledge-Based Systems KBSs must undergo quality assurance procedures for the following two Ž . Ž . reasons: i belief revision if such is provided cannot always guarantee the structural correctness of the knowledge base, Ž . and in certain cases may introduce new semantic errors in the revised theory; ii non-monotonic theories may have multiple extensions, and some types of f...

Dynamic updates of non-monotonic knowledge bases

In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow default negation not only in rule bodies but also in their heads. We start by introducing the notion of an update P U of one logic program P by another logic program U. Subsequently, we provide a precise semantic charact...

Non - Monotonic Inference on Sequenced Belief Bases (

Ortho-directed functionalization of arenes using magnesate bases.

Ortho-directed functionalisation of arenes using lithium alkylmagnesate bases were achieved, demonstrating the potential use of arylmagnesates as suitable arylanions, without a further transmetallation step, for challenging functionalizations such as fluorination, hydroxylation, arylation, vinylation and alkylation through epoxide ring-opening.

Time Series Learning using Monotonic Logical Properties

We propose a new paradigm for time-series learning where users implicitly specify families of signal shapes by choosing monotonic parameterized signal predicates. These families of predicates (also called specifications) can be seen as infinite Boolean feature vectors, that are able to leverage a user’s domain expertise and have the property that as the parameter values increase, the specificat...